-
1 atomic boolean algebra
матем.English-Russian scientific dictionary > atomic boolean algebra
-
2 algebra
алгебра
– abstract algebra
– algebra of sets
– algebraic algebra
– annihilator algebra
– associative algebra
– Banach algebra
– Boolean algebra
– Cartan algebra
– central algebra
– circuit algebra
– closure algebra
– commutative algebra
– constraint algebra
– convolution algebra
– current algebra
– derivation algebra
– differential algebra
– division algebra
– elementary algebra
– enveloping algebra
– exterior algebra
– field-like algebra
– free Lie algebra
– higher algebra
– homological algebra
– Lie algebra
– linear algebra
– matrix algebra
– measure algebra
– propositional algebra
– quaternion algebra
– quotient algebra
– relational algebra
– segregated algebra
– simple algebra
– spinor algebra
– switching algebra
– universal algebra
algebra of finite order — <math.> алгебра конечного ранга
generalized uniserial algebra — обобщенно однорядная алгебра
-
3 algebra
algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей
algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей
-
4 boolean
булевский, булевый atomic boolean algebra ≈ дискретная булевая алгебра - Boolean algebra - Boolean calculus - Boolean function - Boolean matrix - boolean variable Булево boolean вчт. логический -
5 boolean
1) булевский
2) булевый
– Boolean algebra
– Boolean calculus
– Boolean function
– Boolean matrix
– boolean variable
-
6 atomic
1) атомный
2) <chem.> атомарный
3) атомический
– atomic beam
– atomic charge
– atomic constant
– atomic crystal
– atomic decay
– atomic energy
– atomic expression
– atomic formula
– atomic hydrogen
– atomic lattice
– atomic magnetism
– atomic mass
– atomic model
– atomic number
– atomic percent
– atomic physics
– atomic pile
– atomic plane
– atomic radius
– atomic ratio
– atomic scientist
– atomic structure
– atomic theory
– atomic volume
– atomic weight
atomic power station — атомная станция, АЭС
См. также в других словарях:
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… … Wikipedia
Variety (universal algebra) — This article is about a class of algebraic structures of the same signature. For the set of solutions to a system of polynomial equations, see Algebraic variety. In mathematics, specifically universal algebra, a variety of algebras is the class… … Wikipedia
Field of sets — Set algebra redirects here. For the basic properties and laws of sets, see Algebra of sets. In mathematics a field of sets is a pair where X is a set and is an algebra over X i.e., a non empty subset of the power set of X closed under the… … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
General frame — In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics:… … Wikipedia